#include <tty/tty.h>
#include <arch/gdt.h>
#include <arch/idt.h>

void _kernel_init(void) {
        _init_idt();
        _init_gdt();
}

void _kernel_main(void* info_table) {
        (void) info_table;
        tty_set_theme(VGA_COLOR_WHITE, VGA_COLOR_BLACK);
        __asm__("int $0");
}